$\forall$${\it the\_w}$:World, $i$:Id, $a$:Action($i$). $\neg$isnull($a$) $\Rightarrow$ val($a$) $\in$ valtype($i$;$a$)